Static typing for object-oriented programming
نویسندگان
چکیده
منابع مشابه
Static Typing for Object-Oriented Programming
We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement. This mechanism, called class substitution, is pragmatic...
متن کاملOntology-Oriented Programming: Static Typing for the Inconsistent Programmer
Ontologies and object-oriented data models differ little in their declarative characterization of a domain. Differences in the application of these models, however, has led to quite different characteristics of the programming languages used to create and manipulate them – notably in the presence or lack of static typing. Some ontology-reliant applications need to work with models that are inco...
متن کاملA Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
In order to illuminate the fundamental concepts involved in object-oriented programming languages, we describe the design of TOOPL, a paradigmatic, statically-typed, functional, object-oriented programming language which supports classes, objects, methods, hidden instance variables, subtypes, and inheritance. It has proven to be quite diicult to design such a language which has a secure type sy...
متن کاملModelling a Static Concurrent Object Oriented Programming System
We present a study of the interaction properties of objects in concurrent object oriented programming. We identify a set of basic interaction mechanisms: object identity, asyn-chronous message passing, implicit receive primitive, which are closed to those of the actor model. Then, we deene an actor algebra over actor terms as a basic formalism for representing the semantic of concurrent object ...
متن کاملAn Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming
NOOP [4, 6, 7, 8] is a mathematical model of nominally-typed OOP that proves the identification of inheritance and subtyping in mainstream nominally-typed OO programming languages and the validity of this identification [11]. This report gives an overview of the main notions in OOP relevant to constructing a mathematical model of OOP such as NOOP. The emphasis in this report is on defining nomi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1994
ISSN: 0167-6423
DOI: 10.1016/0167-6423(94)00014-x